Transient Analysis of a Preemptive Resume M/D/1/2/2 through Petri Nets

Stochastic Petri Nets (SPN) are usually designed to support exponential distributions only, with the consequence that their modeling power is restricted to markovian systems. In recent years, some attempts have been appeared in the literature aimed to de ne SPN models with generally distributed ring times. A particular subclass, called Deterministic and Stochastic Petri Nets (DSPN), combines into a single model both exponential and deterministic transitions. The available DSPN implementations require simplifying assumptions which limit the applicability of the model to preemptive repeat di erent service mechanisms only. The present paper discusses a semantical generalization of the DSPNs by including preemptive mechanisms of resume type. This generalization is crucial in connection with fault tolerant systems, where the work performed before the interruption should not be lost. By means of this new approach, the transient analysis of a M/D/1/2/2 queue (with 2 customers, 1 server, exponential thinking and deterministic service time) is fully examined under di erent preemptive resume policies.